Stability of Semiconductor States with Insulating and Contact Boundary Conditions

We prove the existence of global smooth solutions near a given steady state of the hydrodynamic model of the semiconductors in a bounded domain with physical boundary conditions. The steady state and the doping profile are permitted to be of large variation but the initial velocity must be small. Two cases are considered. In the first one the problem is three-dimensional, the boundary conditions are insulating and the steady state velocity vanishes. In the second one, the problem is one-dimensional, the boundary is of contact type and the steady state velocity does not vanish.     

Quadrilateral surface meshes without self-intersecting dual cycles for hexahedral mesh generation

Several promising approaches for hexahedral mesh generation work as follows: Given a prescribed quadrilateral surface mesh they first build the combinatorial dual of the hexahedral mesh. This dual mesh is converted into the primal hexahedral mesh, and finally embedded and smoothed into the given domain. Two such approaches, the modified whisker weaving algorithm by Folwell and Mitchell, as well as a method proposed by the author, rely on an iterative elimination of certain dual cycles in the surface mesh. An intuitive interpretation of the latter method is that cycle eliminations correspond to complete sheets of hexahedra in the volume mesh.

Although these methods can be shown to work in principle, the quality of the generated meshes heavily relies on the dual cycle structure of the given surface mesh. In particular, it seems that difficulties in the hexahedral meshing process and poor mesh qualities are often due to self-intersecting dual cycles. Unfortunately, all previous work on quadrilateral surface mesh generation has focused on quality issues of the surface mesh alone but has disregarded its suitability for a high-quality extension to a three-dimensional mesh.

In this paper, we develop a new method to generate quadrilateral surface meshes without self-intersecting dual cycles. This method reuses previous b-matching problem formulations of the quadrilateral mesh refinement problem. The key insight is that the b-matching solution can be decomposed into a collection of simple cycles and paths of multiplicity two, and that these cycles and paths can be consistently embedded into the dual surface mesh.

A second tool uses recursive splitting of components into simpler subcomponents by insertion of internal two-manifolds. We show that such a two-manifold can be meshed with quadrilaterals such that the induced dual cycle structure of each subcomponent is free of self-intersections if the original component satisfies this property. Experiments show that we can achieve hexahedral meshes with a good quality.     

Absence of shocks in an initially dilute collisionless plasma

The Cauchy Problem for the relativistic Vlasov-Maxwell equations is studied in three space dimensions. It is assumed that the initial data satisfy the required constraints and have compact support. If in addition the data have sufficiently smallC ² norm, then a uniqueC ¹ solution to this system is shown to exist on all of spacetime.Research supported in part by NSF DMS 85-20662 and NSF DMS 84-20957     

Validated Infeasible Interior-Point Predictor–Corrector Methods for Linear Programming

Many problems arising in practical applications lead to linear programming problems. Hence, they are fundamentally tractable. Recent interior-point methods can exploit problem structure to solve such problems very efficiently. Infeasible interior-point predictor–corrector methods using floating-point arithmetic sometimes compute an approximate solution with duality gap less than a given tolerance even when the problem may not have a solution. We present an efficient verification method for solving linear programming problems which computes a guaranteed enclosure of the optimal solution and which verifies the existence of the solution within the computed interval.     

Program explanations and causal relevance

Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization, but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance.     

Heteroclinic orbits between rotating waves of semilinear parabolic equations on the circle

We investigate heteroclinic orbits between equilibria and rotating waves for scalar semilinear parabolic reaction-advection-diffusion equations with periodic boundary conditions. Using zero number properties of the solutions and the phase shift equivariance of the equation, we establish a necessary and sufficient condition for the existence of a heteroclinic connection between any pair of hyperbolic equilibria or rotating waves.     

Nonvanishing derivatives and normal families

We consider the differential operators Ψ _k , defined by Ψ₁(y) =y and Ψ _k+1(y)=yΨ _k y+d/dz(Ψ _k (y)) fork ∈ ℕ fork∈ ℕ. We show that ifF is meromorphic in ℂ and Ψ _k F has no zeros for somek≥3, and if the residues at the simple poles ofF are not positive integers, thenF has the formF(z)=((k-1)z+a)/(z ²+β z+γ) orF(z)=1/(az+β) where α, β, γ ∈ ℂ. If the residues at the simple poles ofF are bounded away from zero, then this also holds fork=2. We further show that, under suitable additional conditions, a family of meromorphic functionsF is normal if each Ψ _k (F) has no zeros. These conditions are satisfied, in particular, if there exists δ>0 such that Re (Res(F, a)) <−δ for all polea of eachF in the family. Using the fact that Ψ _k (f ^′/f) =f ^(k)/f, we deduce in particular that iff andf ^(k) have no zeros for allf in some familyF of meromorphic functions, wherek≥2, then {f ^′/f :f ∈F} is normal. The first author is supported by the German-Israeli Foundation for Scientific Research and Development G.I.F., G-643-117.6/1999, and INTAS-99-00089. The second author thanks the DAAD for supporting a visit to Kiel in June–July 2002. Both authors thank Günter Frank for helpful discussions.